basic set theoryの例文

• :Basic set theory is all you need, really.
• If you make it through that, you will have learned a significant chunk of basic set theory.
• TLA + specifications use basic set theory to define safety ( bad things won't happen ) and temporal logic to define liveness ( good things eventually happen ).
• A third example, from basic set theory, is the set of all binary relations between a set and itself, with the involution being the inverse relation, and the multiplication given by the usual composition of relations.